Dino Distefano (auth.): ძიება ვებგვერდზე Z-Library

თავისუფალი წვდომა ცოდნასა და კულტურასთან.

Don't use scam websites

გამოყენებულია ფილტრები

ზუსტი შესაბამისობა

ზუსტი შესაბამისობა

1

Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Cristiano Calcagno, Dino Distefano (auth.), Michael Hanus (eds.)

წელი:

2009

ენა:

english

ფაილი:

PDF, 2.46 MB

0 / 0

english, 2009

2

Programming Languages and Systems: 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings

Programming Languages and Systems: 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Dino Distefano (auth.), G. Ramalingam (eds.)

წელი:

2008

ენა:

english

ფაილი:

PDF, 4.63 MB

0 / 0

english, 2008

3

Programming Languages and Systems: 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings

Programming Languages and Systems: 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Dino Distefano (auth.), G. Ramalingam (eds.)

წელი:

2008

ენა:

english

ფაილი:

PDF, 3.22 MB

0 / 0

english, 2008

4

Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings

Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Dino Distefano (auth.), María Alpuente, Byron Cook, Christophe Joubert (eds.)

წელი:

2009

ენა:

english

ფაილი:

PDF, 7.78 MB

0 / 0

english, 2009

5

Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Cristiano Calcagno, Dino Distefano (auth.), Michael Hanus (eds.)

წელი:

2009

ენა:

english

ფაილი:

PDF, 5.44 MB

0 / 0

english, 2009

6

Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings

Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Dino Distefano (auth.), María Alpuente, Byron Cook, Christophe Joubert (eds.)

წელი:

2009

ენა:

english

ფაილი:

PDF, 10.43 MB

0 / 5.0

english, 2009

7

Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings

Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Dino Distefano (auth.), María Alpuente, Byron Cook, Christophe Joubert (eds.)

წელი:

2009

ენა:

english

ფაილი:

PDF, 9.38 MB

0 / 0

english, 2009

8

Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings

Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Dino Distefano (auth.), María Alpuente, Byron Cook, Christophe Joubert (eds.)

წელი:

2009

ენა:

english

ფაილი:

PDF, 7.71 MB

0 / 0

english, 2009